|
|
Mikrojádra operačních systémů
Beneš, Eduard ; Peringer, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
Táto práca sa zaoberá problematikou mikrojadier operačných systémov. Prvá časť je zameraná na oboznámenie s problematikou jadier operačných systémov. Obsahuje základné vlastnosti a mechanizmy druhej generácie mikrojadier reprezentovanej mikrojadrom L4, na ktoré sa zameriavame v ďalších častiach práce. Následne sú opísané dva rôzne porty operačného systému Linux nad mikrojadro L4, sú to L4Linux a Wombat. V druhej časti práce je popísaný spôsob inštalácie vybraných portov a hlavné problémy, ktoré sme museli riešiť. Tretia a štvrtá časť sú zamerané na problematiku testovania výkonnosti nainštalovaných systémov. Popisujeme metodológiu zvolených experimentov a význam jednotlivých testov. Výsledky, spolu s ich vyhodnotením, sú uvedené vo štvrtej časti. Pokiaľ to je vhodné, získané výsledky konfrontujeme medzi sebou, prípadne s výsledkami testov získaných z Internetu. V záverečnej časti je na základe nadobudnutých znalostí uvedená stručná diskusia na tému možností uplatnenia mikrojadier.
|
|
|
HelenOS routing and porting of BIRD
Gálfy, Stanislav ; Děcký, Martin (vedoucí práce) ; Mareš, Martin (oponent)
Schopnost routovat může být považována za jednu z klíčových vlastností moderního víceúčelového operačního systému, kterým se HelenOS snaží být. Cílem této práce je prozkoumat stávajíci routovací schopnosti HelenOSu, vylepšit je a posílit HelenOS BIRDem. Díky BIRDu, HelenOS se stane routovacím operačním systémem, který si je vědom svého okolí a je schopen dynamicky se přizpůsobit změnám v síti, které je součástí.
|
|
|
HelenOS routing and porting of BIRD
Gálfy, Stanislav ; Děcký, Martin (vedoucí práce) ; Mareš, Martin (oponent)
Schopnost routovat může být považována za jednu z klíčových vlastností moderního víceúčelového operačního systému, kterým se HelenOS snaží být. Cílem této práce je prozkoumat stávajíci routovací schopnosti HelenOSu, vylepšit je a posílit HelenOS BIRDem. Díky BIRDu, HelenOS se stane routovacím operačním systémem, který si je vědom svého okolí a je schopen dynamicky se přizpůsobit změnám v síti, které je součástí.
|
|
|
Application of Software Components in Operating System Design
Děcký, Martin ; Tůma, Petr (vedoucí práce) ; Döbel, Björn (oponent) ; Sojka, Michal (oponent)
Tato doktorská práce popisuje primární cíl mikrojádrového multiserverového operačního systému HelenOS. Primárním cílem projektu HelenOS je vytvoření komplexní výzkumné a vývojové platformy pro doménu obecných operačních systémů, která by podporovala nejmodernější přístupy a metody (například verifikaci správnosti) a současně kladla důraz na praktickou relevanci. Text práce popisuje jaké konkrétní prostředky návrhu (založené na softwarových komponentách), implementace, vývojového procesu a verifikace, které jsou použity pro dosažení primárního cíle. Text práce dále hodnotí současný stav projektu HelenOS. Powered by TCPDF (www.tcpdf.org)
|
|
|
Bezpečnostní kontejnery a přístupová práva v HelenOS
Henek, Štěpán ; Děcký, Martin (vedoucí práce) ; Bulej, Lubomír (oponent)
Název práce: Bezpečnostní kontejnery a přístupová práva v HelenOS Autor: Štěpán Henek Katedra (ústav): Katedra softwarového inženýrství Vedoucí diplomové práce: Mgr. Martin Děcký e-mail vedoucího: decky@ksi.mff.cuni.cz Abstrakt: Cílem práce je navrhnout implementaci bezpečnostních kontejnerů (kontextů) úloh a mechanismů přístupových práv pro mikrojádrové operační systémy. Mechanismy přístupových práv implementují běžná paradigmata jako je identifikace uživatelů systému, skupiny uživatelů, vlastnění entit systému (úloh, souborů) uživateli, seznam povolených operací uživatelů (capabilities) a seznam přístupových práv k entitám (ACL). Kromě toho návrh umožňuje implementovat hierarchickou strukturu bezpečnostních domén, kdy je možné, aby každá doména delegovala vlastněná oprávnění na své subdomény. Zároveň návrh dovoluje implementaci kontejnerů, které vzájemně zcela izolují ty úlohy, které se nacházejí v bezpečnostních doménách s prázdným průnikem. Práce obsahuje analýzu a vyhodnocení možných přístupů k řešení problému. Součástí práce je také prototypová implementace v systému HelenOS s přihlédnutím ke specifikům tohoto systému (omezení počtu přepínání kontextů, delegace...
|
|
|
Mikrojádra operačních systémů
Beneš, Eduard ; Peringer, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
Táto práca sa zaoberá problematikou mikrojadier operačných systémov. Prvá časť je zameraná na oboznámenie s problematikou jadier operačných systémov. Obsahuje základné vlastnosti a mechanizmy druhej generácie mikrojadier reprezentovanej mikrojadrom L4, na ktoré sa zameriavame v ďalších častiach práce. Následne sú opísané dva rôzne porty operačného systému Linux nad mikrojadro L4, sú to L4Linux a Wombat. V druhej časti práce je popísaný spôsob inštalácie vybraných portov a hlavné problémy, ktoré sme museli riešiť. Tretia a štvrtá časť sú zamerané na problematiku testovania výkonnosti nainštalovaných systémov. Popisujeme metodológiu zvolených experimentov a význam jednotlivých testov. Výsledky, spolu s ich vyhodnotením, sú uvedené vo štvrtej časti. Pokiaľ to je vhodné, získané výsledky konfrontujeme medzi sebou, prípadne s výsledkami testov získaných z Internetu. V záverečnej časti je na základe nadobudnutých znalostí uvedená stručná diskusia na tému možností uplatnenia mikrojadier.
|
|
|
Operační systém MINIX
JIRKŮ, Radek
Tato bakalářská práce seznamuje čtenáře s operačním systémem MINIX, který byl použit jako vzor při tvorbě OS Linux. Pojednává o historii a vývoji tohoto systému a seznamuje s jeho jádrem a souborovým systémem. Dále řeší instalaci a konfiguraci MINIX na virtuální počítač v jednotlivých krocích a zabývá se spory, jež měl tvůrce MINIXu s tvůrci Linuxu. V závěru porovnává MINIX s Linuxem a shrnuje jeho výhody a nevýhody a použití tohoto operačního systému v současnosti.
|
host ::
RSS.